Logic and the Methodology of Science Autumn 2002 Preliminary Exam Draft August 23, Let ϕe be the eth partial recursive function in some standard enumeration, and let We be the domain of ϕe ). Show that there is

Source URL: logic.berkeley.edu

• Theory of computation
• Theoretical computer science
• Metalogic
• Model theory
• Recursively enumerable set
• Constructible universe
• Presentation of a group
• Ordinal number
• Ω-consistent theory
• Mathematics
• Mathematical logic
• Computability theory

An Architectural Approach to Inter-domain Measurement Data Sharing Brian Trammell Communication Systems Group, ETH Zürich DUST 2012, San Diego, 15 May 2012

Source URL: www.caida.org

• Ethics
• DarkSpace
• Privacy

Subscriber access provided by ETH DOMAIN RESEARCH INST Article An Automated Platform for Phytoplankton Ecology and Aquatic Ecosystem Monitoring

Source URL: www.cytobuoy.com

• Planktology
• Fisheries
• Environmental soil science
• Algal bloom
• Phytoplankton
• Plankton
• Ecology
• Eutrophication
• Water
• Aquatic ecology
• Biological oceanography

C2SM Steering Committee meeting Wednesday April 10, 2013, 12:30-14:30, Palmhof Restaurant Participants Chair: Nicolas Gruber

Source URL: www.c2sm.ethz.ch

• ETH Zurich
• ETH Domain
• Switzerland
• Structure
• Technology
• Intergovernmental Panel on Climate Change
• United Nations Environment Programme
• World Meteorological Organization

Meeting of the C2SM Steering Committee Tuesday Sept 8, :00 – 14:00, room CHN D 26.2 Lunch will be provided Participants Chair:

Source URL: www.c2sm.ethz.ch

• Switzerland
• ETH Zurich
• ETH Domain
• Ambient intelligence

JahresberichtLib4RI – Library for the Research Institutes within the ETH Domain: Eawag, Empa, PSI & WSL Überlandstrasse 133 · CH-8600 Dübendorf T + · · www.lib4ri.ch

Source URL: www.lib4ri.ch

Introduction to Computational Electromagnetics The Discontinuous Galerkin Time-Domain (DGTD) Method Jens Niegemann, Lab for Electromagnetic Fields and Microwave Electronics (IFH), ETH Zürich

Source URL: alphard.ethz.ch

• Mathematics
• Numerical analysis
• Computational science
• Electrodynamics
• Finite element method
• Computational electromagnetics
• Perfectly matched layer
• Residual
• Plane wave expansion method
• Calculus
• Partial differential equations
• Mathematical analysis

23921_cover[removed]:36 Uhr

Source URL: www.drmonline.net

• Disaster preparedness
• Humanitarian aid
• Actuarial science
• Laboratories
• Digital rights management
• Disaster risk reduction
• ETH Domain
• Disaster
• Risk management
• Management
• Public safety
• Emergency management

DRAM or no-DRAM? Exploring Linear Solver Architectures for Image Domain Warping in 28 nm CMOS Michael Schaffner∗† , Frank K. G¨urkaynak∗ , Aljoscha Smolic† , Luca Benini∗‡ ∗ ETH Z¨urich, 8092 Z¨urich, Sw

Source URL: www.disneyresearch.com

• Numerical linear algebra
• Matrix decomposition
• Cholesky decomposition
• Matrix
• Lis
• Preconditioner
• Dynamic random-access memory
• Mathematical optimization
• System of linear equations
• Algebra
• Linear algebra
• Mathematics

Photo © Transdisciplinarity Laboratory ETH Zurich «Besides meeting so many great people, I have learned and taken away an appreciation for the usefulness and applicability of the transdisciplinary process.» Felix Mod

Source URL: www.cces.ethz.ch

• ETH Zurich
• ETH Domain
• Transdisciplinarity
• Literature
• Dialogue
• Christ Church Episcopal School
• Fiction
• Education
• Knowledge